Priority-Based Merging Operator Without Distance Measures
نویسندگان
چکیده
This paper proposes a refinement of the PS-Merge merging operator, which is an alternative merging approach that employs the notion of partial satisfiability rather than the usual distance measures. Our approach will add to PS-Merge a mechanism to deal with a kind of priority based on the quantity of information of the agents. We will refer to the new operator as Pr-Merge. We will also analyze its logical properties as well its complexity by conceiving an algorithm with a distinct strategy from that presented for PS-Merge.
منابع مشابه
Tableaux and Complexity Bounds for a Multiagent Justification Logic with Interacting Justifications
10:30-12:00 I.1: Knowledge representation, Aggregation and Agreements (chair: Carles Sierra) • Patrick Krümpelmann, Gabriele Kern-Isberner and Tim Janus. Angerona A flexible Multiagent Framework for Knowledgebased Agents • Henrique Viana and João Alcântara. Priority-based Merging Operator without Distance Measures • Arthur Carvalho, Stanko Dimitrov and Kate Larson. A Study on the Influence of t...
متن کاملBelief Merging using Partial Satisfactibility: cases studies
Merging operators aim at defining the beliefs or goals of a group of agents from the beliefs or goals of each member of the group. Several model-based propositional belief merging operators have been proposed which use propositional satisfaction. In this paper we introduce the notion of partial satisfactibility which is an alternative way of measure the satisfaction of a formula since this noti...
متن کاملA Method for Merging Cultural Logic Systems
This paper presents a merging approach to solve the logical conflicts in cross-cultural communication. We define each agent’s logic system as a tuple of the language and a binary relation over the language, which can well reflect different inference patterns in different cultures. Then based on the distance measure, merging different logic systems of this kind is a two-step process: (i) all the...
متن کاملA Relation-Based Merging Operator for Qualitative Spatial Data Integration and Conflict Resolution
We describe a distance-based approach to integrate spatial information from different sources that is given in the form of constraint networks over relations from a qualitative spatial calculus. The distance functions are based on the notion of conceptual neighborhood between the spatial relations. We opt for a merging approach that is relationbased instead of model-based and as a result is als...
متن کاملPropositional merging operators based on set-theoretic closeness
In the propositional setting, a well-studied family of merging operators are distance-based ones: the models of the merged base are the closest interpretations to the given profile. Closeness is, in this context, measured as a number resulting from the aggregation of the distances to each base of the profile. In this work we define a new familly of propositional merging operators, close to such...
متن کامل